You are here: irt.org | FOLDOC | logical relation
A relation R satisfying
f R g <=> For all a, b, a R b => f a R g b
This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.
Nearby terms: Logical Interchange Format « Logical Link Control « Logical Link Control and Adaptation Protocol « logical relation » logical shift » logical shift left » logical shift right
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL